Programming with SPIP DOCUMENTATION TO BE USED BY DEVELOPERS AND WEBMASTERS SPIP’s version 2.1.0+ / May 2010 SPIP is both a publication system and a development platform. After

Source URL: programmer.spip.net

The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010

Source URL: hasp.cs.pdx.edu

• Functional languages
• Functional programming
• Data types
• Type theory
• Procedural programming languages
• Haskell
• Syntax
• Monad
• Type system
• ML
• Programming language
• Type class

CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal methods
• Isabelle
• Type theory
• HOL
• Automated reasoning
• Computer algebra system
• Vienna Development Method
• Software development

COMP 520 FallType checking (1) COMP 520 Fall 2007

Source URL: www.sable.mcgill.ca

• Type theory
• Symbol
• Type system
• Mathematical logic
• Logic in computer science
• Theoretical computer science
• Automated theorem proving
• Logic programming

Andrew M. Kent Contact Information Lindley Hall 215 Indiana University

Source URL: andmkent.com

• Software engineering
• Programming language theory
• Computing
• Procedural programming languages
• Functional languages
• Gradual typing
• Type system
• Programming language
• Racket
• ALGOL 68
• Io
• Association for Computing Machinery

We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin

Source URL: popl-obt-2014.cs.brown.edu

• Software engineering
• Computing
• Software
• Functional programming
• Programming paradigms
• International Conference on Functional Programming
• Domain-specific language
• Compiler
• Type system
• Declarative programming
• Programming language

OpenAtom: Scalable Ab-Initio Molecular Dynamics with Diverse Capability Nikhil Jain† , Eric Bohm† , Eric Mikida† , Subhasish Mandal§ , Minjung Kim§ , Prateek Jindal† , Qi Li? , Sohrab Ismail-Beigi§ , Glenn J.

Source URL: charm.cs.illinois.edu

• Digital signal processing
• Mathematical analysis
• Parallel computing
• Mathematics
• Fast Fourier transform
• OpenAtom
• Charm++
• Integral
• Coordinate system
• Computer programming

Cloudthink: a scalable secure platform for mirroring transportation systems in the cloud Erik Wilhelm1, Joshua Siegel2, Simon Mayer3, Leyna Sadamori4, Sohan Dsouza5, Chi-Kin Chau6, Sanjay Sarma7 1Singapore University of

Source URL: www.vs.inf.ethz.ch

• Global Positioning System
• Automotive software
• OpenXC
• On-board diagnostics
• Telematics
• Data logger
• Intelligent transportation system
• Application software
• Cloud computing
• Database
• Application programming interface
• Vehicle tracking system

High-Latency, Low-Bandwidth Windowing in the Jupiter Collaboration System David A. Nichols, Pavel Curtis, Michael Dixon, and John Lamping Xerox PARC 3333 Coyote Hill Rd.

Source URL: lively-kernel.org

• Software
• Computing
• System software
• Application programming interfaces
• Remote desktop
• Graphical user interfaces
• Widget toolkits
• Windowing system
• Xlib
• X Window System core protocol
• X Window System
• Clientserver model

COPE (Console Operator Proficiency Examination)

Source URL: ed-thelen.org

• Computability theory
• Text
• Typewriter
• Test
• operator
• MAD
• Computing
• Software engineering
• Computer programming
• IBM System/3
• IBM 305 RAMAC